concurrent system中文是什么意思

• 并行系统

• "concurrent"中文翻译    adj. 1.同时发生的，并发的，并存的，共存的；合作的 ...
• "system"中文翻译    n. 1.体系，系统；分类法；组织；设备，装置。 2.方 ...
• "cfs concurrent file system" 中文翻译 :    并行文件系统
• "concurrent computational system" 中文翻译 :    并行计算系统
• "concurrent control system" 中文翻译 :    并行控制系统; 共行控制系统
• "concurrent information system" 中文翻译 :    并发信息系统
• "concurrent operating system" 中文翻译 :    并行操作系统
• "concurrent optical system" 中文翻译 :    并行光系统
• "concurrent processing system" 中文翻译 :    并行处理系统
• "concurrent versions system" 中文翻译 :    协作版本系统; 作版本系
• "control system concurrent" 中文翻译 :    同作控制系统
• "cos concurrent operating system" 中文翻译 :    并行操作系统
• "cvs - concurrent versions system" 中文翻译 :    版本控制系统
• "system of concurrent forces" 中文翻译 :    共点力系
• "cdos concurrent disk operating system" 中文翻译 :    并行磁盘操作系统
• "concurrent" 中文翻译 :    adj. 1.同时发生的，并发的，并存的，共存的；合作的。 2.(意见)一致的。 3.【动物；动物学】趋合的；【数学】共点的；【机械工程】并流的。 4.(权力等)由两个负责当局共同行使的，有相等裁定权的。 concurrent insurance (policy) (对于一投保物的)共同保险(合同)。 concurrent post 兼职。 concurrent sentence (适用于多个被告的)共同判决。 n. 1.并发事件；共存[共有]物；并在原因。 2.竞争者。 3.【数学】共点。 adv. -ly (hold a post concurrently 兼任)。
• "concurrent with" 中文翻译 :    和...同时
• "bus, concurrent" 中文翻译 :    并行总线
• "concurrent access" 中文翻译 :    并行存取, 并行访问; 并行访向
• "concurrent actions" 中文翻译 :    共同诉讼
• "concurrent activities" 中文翻译 :    并行动作; 并行活动
• "concurrent appointment" 中文翻译 :    同时委任
• "concurrent arbitration" 中文翻译 :    联合仲裁
• "concurrent assignment" 中文翻译 :    并行赋值
• "concurrent audit" 中文翻译 :    事中审计

• Safety and fairness in java multithreading concurrent system
  多线程并发系统中的安全性与公平性
• Specification - based testing of non - deterministic concurrent systems
  非确定并发系统的基于说明的测试推导
• Client / server model - standard model used in building concurrent systems
  模式? ?构建并发系统的标准模式。
• The traditional method is suitable for a simple , single user non - concurrent system
  传统方法适合于简单的、单用户（非并发）系统。
• Process algebras are widely used in describing and analyzing concurrent systems
  进程代数在对并发系统的分析和验证等方面获得了广泛应用。
• Model - checking is a technology for the verification of the properties of the concurrent systems
  摘要模型检测是一种用于并发系统性质验证的算法技术。
• Analyzing and verifying value - passing concurrent systems is a new research area in model - checking
  对于并发传值系统的自动分析与验证是模型检测研究的一个新的方向。
• Among them , the - calculus is the one capable of modelling concurrent systems with evolving communicating structures
  -演算是进程代数的典型代表，它可以描述那些通信拓扑结构会动态变化的系统。
• Effective modeling of complex concurrent systems requires a formalism that can capture essential properties such as nondeterminism , synchronization and parallelism
  对复杂的并发系统进行有效建模要求有一套形式化体系，由它能获取系统的本质特性，如不确定性、同步性和并发性。
• However , concurrent systems with time restriction namely real - time systems are used widely in reallife , and the model - checking techniques are more and more applied to the verification of the properties of the real - time systems
  实际生活中广泛应用的是带有时间约束的并发系统即实时系统，现在模型检测技术越来越被广泛地应用到这类系统的性质验证当中。